The supervisory control problem for discrete event system(DES) under control involves identifying the supervisor, if one......

利用自动机状态集上的等价关系对自动机的状态集进行极小化，从而得到与原自动机功能等价的极小化自动机．通过两台确定型有穷自动机（DF......

并发程序执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得以反复执行程序,重复再现故障为核......

在基于消息传递的并发程序中,由于进程的调度顺序以及消息延时等特性,使得同样输入的不同执行呈现不同的结果,这种并发程序行为的......

现代社会的变化进程增强了人的不确定感,人与自然、人与乡土之间的联系被割断,传统社会风俗、道德规则和价值观的传承被割裂,以往......